Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
711	Towards formal semantics for reorganization Virginia Dignum Frank Dignum Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2006-12-21 05:31:18 Number theory Partition Abstraction Modal logic Organizational behavior Agent-based model Organization Mathematics Logic Combinatorics
712	English Language Arts Literacy Framework PAUL DEANE, JOHN SABATINI, AND TENAHA O’REILLY December 2011 Add to Reading List Source URL: www.ets.org Language: English - Date: 2011-12-16 08:42:52 Critical thinking Educational psychology Logic Arguments Thought Argumentation theory Rhetoric Writing process Mental model Education Mind Cognition
713	Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods Jason Crampton Michael Huth Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Management Logic Model theory Linear temporal logic Temporal logic Workflow Satisfiability YAWL Boolean satisfiability problem Mathematical logic Workflow technology Theoretical computer science
714	Evaluation News - February 2011 Add to Reading List Source URL: www.bja.gov Language: English - Date: 2012-02-27 09:08:53 Substance abuse Justice United States Department of Justice Criminal law Criminal justice National Institute of Justice Parole Program evaluation Logic model Ethics Evaluation methods Evaluation
715	The Complexity of Renaming Dan Alistarh EPFL James Aspnes Yale Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2011-11-17 23:45:06 Computer science Computational complexity theory Algorithm Mathematical logic Randomized algorithm Time complexity Adversary model Distributed computing Quantum algorithm Theoretical computer science Applied mathematics Analysis of algorithms
716	Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2015-04-10 06:06:57 University of Camerino Computer science Institute of Science and Technology Austria Agent-based model Runtime verification Edmund M. Clarke Systems engineering Academia Software development Science Formal methods Logic in computer science
717	LPI‐IP Formal Interpretation Form 14048 W. Petronella Dr. Suite 104 Libertyville, IL 60048 (224) 433 Add to Reading List Source URL: www.lpi-ip.com Language: English - Date: 2014-02-27 10:13:22 Philosophy of mind Semantics Libertyville Illinois Philosophy Logic Mind Interpretation Model theory Philosophy of language
718	Master internship Petri net unfolding of biological networks Topic: Logic and Verification, Computational Biology Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Lau Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:14:14 Diagrams Petri net Gene regulatory network Model checking Petri Attractor Actor model Chaos theory Computer science Concurrency Networks Systems biology
719	Action Planning & General Game Playing for Robots Stefan Edelkamp, Institute for Artificial Intelligence, University of Bremen One of the oldest dreams in the research area of Artificial Intelligence is the design of aut Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Reactive planning Robot Motion planning Humanoid robot Model checking Linear temporal logic Planning STRIPS NuSMV Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
720	Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-08 08:41:11 Philosophy of mind Programming paradigms Theoretical computer science Model checking Abstraction Logic in computer science Concept Heuristic function Combinatory logic Thought Cognition Mind

UPDATE